Large Aperiodic Semigroups
نویسندگان
چکیده
The syntactic complexity of a regular language is the size of its syntactic semigroup. This semigroup is isomorphic to the transition semigroup of the minimal deterministic finite automaton accepting the language, that is, to the semigroup generated by transformations induced by non-empty words on the set of states of the automaton. In this paper we search for the largest syntactic semigroup of a star-free language having n left quotients; equivalently, we look for the largest transition semigroup of an aperiodic finite automaton with n states. We introduce two new aperiodic transition semigroups. The first is generated by transformations that change only one state; we call such transformations and resulting semigroups unitary. In particular, we study complete unitary semigroups which have a special structure, and we show that each maximal unitary semigroup is complete. For n 4 there exists a complete unitary semigroup that is larger than any aperiodic semigroup known to date. We then present even larger aperiodic semigroups, generated by transformations that map a non-empty subset of states to a single state; we call such transformations and semigroups semiconstant. In particular, we examine semiconstant tree semigroups which have a structure based on full binary trees. The semiconstant tree semigroups are at present the best candidates for largest aperiodic semigroups. We also prove that 2 n − 1 is an upper bound on the state complexity of reversal of star-free languages, and resolve an open problem about a special case of state complexity of concatenation of star-free languages.
منابع مشابه
Some structural properties of the free profinite aperiodic semigroup
Profinite semigroups provide powerful tools to understand properties of classes of regular languages. Until very recently however, little was known on the structure of “large” relatively free profinite semigroups. In this paper, we present new results obtained for the class of all finite aperiodic (that is, group-free) semigroups. Given a finite alphabet X, we focus on the following problems: (...
متن کاملAperiodic Pointlikes and Beyond
We prove that if π is a recursive set of primes, then pointlike sets are decidable for the pseudovariety of semigroups whose subgroups are π-groups. In particular, when π is the empty set, we obtain Henckell’s decidability of aperiodic pointlikes. Our proof, restricted to the case of aperiodic semigroups, is simpler than the original proof.
متن کاملPower Exponents of Aperiodic Pseudovarieties
This paper determines all pseudovarieties of nite semigroups whose powers are contained in DA. As an application, it is shown that it is computable, for a decidable pseudovariety V of aperiodic semigroups, the least exponent n such that the iterated power P n V is the pseudovariety of all nite semigroups.
متن کاملFinite Aperiodic Semigroups with Commuting Idempotents and Generalizations
Among the most important and intensively studied classes of semigroups are finite semigroups, regular semigroups and inverse semigroups. Finite semigroups arise as syntactic semigroups of regular languages and as transition semigroups of finite automata. This connection has lead to a large and deep literature on classifying regular languages by means of algebraic properties of their correspondi...
متن کاملNormal Forms for Free Aperiodic Semigroups
The implicit operation ω is the unary operation which sends each element of a finite semigroup to the unique idempotent contained in the subsemigroup it generates. Using ω there is a well-defined algebra which is known as the free aperiodic semigroup. In this article we show that for each n, the ngenerated free aperiodic semigroup is defined by a finite list of pseudoidentities and has a decida...
متن کامل